<?
	@session_start();
static 	$DB_HOST="localhost";
static 	$DB_NAME="jol";
static 	$DB_USER="root";
static 	$DB_PASS="";
static  $managerAddress='127.0.0.1';
static  $managerPort=12345;
static 	$OJ_NAME="NEU-OJ";
static 	$OJ_HOME="http://code.google.com/p/freeproblemset/";
static 	$OJ_ADMIN="NEU";
static 	$OJ_DATA="/home/judge/data";
static 	$OJ_BBS="bbs";//"bbs" for phpBB3 bridge or "discuss" for mini-forum
static  $OJ_ONLINE=false;
static  $OJ_LANG="en";
static  $OJ_SIM=true; 
static  $OJ_DICT=false;
static  $OJ_LANGMASK=0; //1mC 2mCPP 4mPascal 8mJava 16mRuby 32mBash 
static  $OJ_EDITE_AREA=false;//true: syntax highlighting is active
if (isset($_SESSION['OJ_LANG'])) $OJ_LANG=$_SESSION['OJ_LANG'];
	if(mysql_pconnect($DB_HOST,$DB_USER,$DB_PASS));
	else die('Could not connect: ' . mysql_error());
	// use db
	mysql_query("set names utf8");
	mysql_set_charset("utf8");
	
	if(mysql_select_db($DB_NAME));
	else die('Can\'t use foo : ' . mysql_error());
	
if (($sock = socket_create(AF_INET, SOCK_DGRAM,0)) === false) {
	echo "socket_create() failed: reason: " . socket_strerror(socket_last_error()) . "\n";
}
?>
